$\forall$$s$, $t$:DSet. ($s$ $\times$ $t$) $\in$ DSet